منابع مشابه
The Resourceful Reader The Resourceful Reader :
for Communication Yearbook 15. The resourceful reader:Interpreting television characters and narratives The television viewer is an active interpreter, not a passive recipient, of programs. Viewers'interpretations of programs mediate television effects. The 'active viewer' is accepted by bothtraditional and critical mass communication scholars, allowing for a possible convergence<lb...
متن کاملResourceful Contextual Bandits
We study contextual bandits with ancillary constraints on resources, which are common in realworld applications such as choosing ads or dynamic pricing of items. We design the first algorithm for solving these problems that improves over a trivial reduction to the non-contextual case. We consider very general settings for both contextual bandits (arbitrary policy sets, Dudik et al. (2011)) and ...
متن کاملResourceful Reachability as HORN-LA
The program verification tool SLAyer uses abstractions during analysis and relies on a solver for reachability to refine spurious counterexamples. In this context, we extract a reachability benchmark suite and evaluate methods for encoding reachability properties with heaps using Horn clauses over linear arithmetic. The benchmarks are particularly challenging and we describe and evaluate pre-pr...
متن کاملResourceful Lenses for Ordered Data
A lens is a bi-directional program. When read from left to right, it denotes an ordinary function. When read from right to left, it denotes an “update translator” that takes an input to this function together with an updated output and produces a new input reflecting the update. Several variants of the idea of lenses have been explored. But none of them deal fully with ordered data. If an updat...
متن کاملA Resourceful Reframing of Behavior Trees
Designers of autonomous agents, whether in physical or virtual environments, need to express nondeterminisim, failure, and parallelism in behaviors, as well as accounting for synchronous coordination between agents. Behavior Trees are a semi-formalism deployed widely for this purpose in the games industry, but with challenges to scalability, reasoning, and reuse of common sub-behaviors. We pres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1987
ISSN: 0028-0836,1476-4687
DOI: 10.1038/326212a0